$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. (loc($e$) = loc(${\it e'}$) $\in$ Id) $\Rightarrow$ (es{-}init(${\it es}$;$e$) = es{-}init(${\it es}$;${\it e'}$) $\in$ E)